可逆理想：在交换代数中，指一个（通常是分式理想）\(I\)，存在另一个分式理想 \(J\)，使得
\[
IJ = R
\]
其中 \(R\) 是底层环（更准确地说是单位分式理想 \(R\) 本身）。直观上，可逆理想在“理想的乘法”下有乘法逆元。
常见事实：在 Dedekind 整环中，每个非零理想都是可逆的。（在一般环里未必成立。）
/ɪnˈvɝːtəbəl aɪˈdiːəl/
An invertible ideal has an inverse under ideal multiplication.
可逆理想在理想乘法下存在逆元。
In a Dedekind domain, every nonzero ideal is an invertible ideal, which makes ideal factorization behave like integer factorization.
在 Dedekind 整环中，每个非零理想都是可逆理想，这使得理想分解的性质在很多方面类似整数分解。
invertible 来自 invert（“倒置、反转”）+ 形容词后缀 -ible（“能够……的”），表示“能取逆/可逆的”。
ideal 在代数学中的“理想”是 19 世纪数论与代数发展中形成的术语，常与 Dedekind 等人的工作相关；这里的 ideal 并非日常英语里“理想的、完美的”的意思，而是一个专门的代数对象名称。
Select Language